501. Financial instrument pricing using C++ /
Author: Daniel J. Duffy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Financial engineering.,Investments-- Mathematical models.,BUSINESS & ECONOMICS-- Finance.,C++ (Computer program language),Financial engineering.,Investments-- Mathematical models.
Classification :
HG4515
.
2
502. Finite Element Programs for Structural Vibrations
Author: by C. T. F. Ross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation.,Hydraulic engineering.,Mechanics.,Numerical analysis.,Physics.,Software engineering.
503. For Dummies++Beginning Programming with C
Author: / Stephen R. Davis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
504. For Dummies++Beginning Programming with C
Author: / Davis, Stephen R.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
505. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
506. Formal Methods and Software Engineering
Author: \ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science.,Computer networks.,Computer programming.,علوم کامپیوتر,شبکههای رایانه ای ,برنامهنویسی
Classification :
QA75
.
5
.
F61
2015
E-Book
,
507. Formal Methods and Software Engineering :
Author: Toshiaki Aoki ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fehlertoleranz.,Formale Methode.,Model Checking.
Classification :
QA76
.
9
.
F67
T674
2012
508. Formal Methods for Multicore Programming
Author: / Marco Bernardo, Einar Broch Johnsen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
509. Formal Methods for Quantitative Aspects of Programming Languages
Author: / Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
510. Formal Methods in Programming and Their Applications :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1993
511. Formal aspects of component software
Author: Luís Soares Barbosa, Markus Lumpe (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
I585
2010eb
512. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
513. Formal engineering for industrial software development
Author: / Shaoying Liu
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software -- Development,Object-oriented programming (Computer science),Formal methods (computer science)
Classification :
QA
76
.
76
.
D47L58
2004
514. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
515. Formal methods :
Author: Flemming Nielson, Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
Classification :
QA76
.
9
.
F67
N45
2019
516. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
517. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
518. Formal methods for components and objects :
Author: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
F53
2012
519. Formal methods for components and objects
Author: Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
F53
2010eb
520. Formal methods for dynamical systems
Author: Marco Bernardo ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,System design, Congresses
Classification :
QA76
.
9
.
F67
.
I58
2013
